$\vdash$  SQType($\mathbb{Z}$)